home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / b / b.lha / B / doc / Descr.macs < prev    next >
Text File  |  1988-11-24  |  5KB  |  332 lines
  1. .\" Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984.
  2. .de Du\"DUmmy for preprocessor
  3. ..
  4. .so bfont.def
  5. .ds NU 81:09:25
  6. .ds B \fIB\fP
  7. .nr ms 11\"Added by steven, point size of header
  8. .de FR\"    FRame text width, text height, page width, page height. UNITS!
  9. .ll \\$1
  10. .lt \\$1
  11. .pl \\$4
  12. .nr PO (\\$3-\\$1)/2u
  13. .po \\n(POu
  14. .nr TW \\$1
  15. .nr HF (\\$4-\\$2)/2u
  16. .ch PH
  17. .ch Fo
  18. .wh -\\n(HFu PH
  19. .wh -\\n(HFu/2u Fo
  20. ..
  21. .de CM\"    Cut Mark
  22. .po 0
  23. .lt 8.5i
  24. 'if t 'tl '\(em''\(em'
  25. 'if n 'sp 1v
  26. .lt
  27. .po
  28. 'sp \\n(HFu-1v
  29. ..
  30. .de SN \"Section Number
  31. .ds Sn Section \\$1 \"current Section Number
  32. ..
  33. .SN 1
  34. .de pH\"title-less Page Header (used as Footer) NOT USED
  35. 'bp
  36. .CM
  37. 'tl ''''
  38. 'sp 2
  39. 'ns
  40. ..
  41. .de PH\"Page Header
  42. .nr f1 \\n(.f\"    current font
  43. .ft
  44. .nr f2 \\n(.f\"    previous font
  45. .ft R
  46. .nr sp \\n(.s\"current point size
  47. .ps \\n(ms-1   
  48. 'bp
  49. .CM \" Cut Mark
  50. 'ie o 'tl ''\\*(TL'\\*(Sn'
  51. 'el   'tl '\\*(Sn'\\*(TL''
  52. .ft \\n(f2\"    restore previous font
  53. .ft \\n(f1\"    restore current font
  54. .ps \\n(sp\"restore point size
  55. 'sp 2
  56. 'ns
  57. 'EH\"Extra Header
  58. ..
  59. .de Fo\" Page footer
  60. .nr f1 \\n(.f\"    current font
  61. .ft
  62. .nr f2 \\n(.f\"    previous font
  63. .ft R
  64. .nr sp \\n(.s\"current point size
  65. .ps \\n(ms-1   
  66. .if \\n%>2 .tl ''%''
  67. .ft \\n(f2\"    restore previous font
  68. .ft \\n(f1\"    restore current font
  69. .ps \\n(sp\"restore point size
  70. ..
  71. .de cS\"    param is # items to be constant-spaced
  72. .nr wS 36*(\\n(.lu-6m)/(2*\\$1-1)/1m
  73. .if \\n(wS>30 .nr ws 30
  74. .nr iN (\\n(.lu-((2*\\$1-1)*\\n(wS*1m/36))/2
  75. .if \\n(iNu>(2m+6n) .nr iN 2m+6n
  76. .in \\n(iNu
  77. .cs I \\n(wS \\n(.s
  78. ..
  79. .ds TL DESCRIPTION OF B
  80. .FR 15.9c 25.4c 15.2c 29.2c\"Original B-report
  81. .FR 12c 20c 16c 24c\"MCT 50
  82. .FR 16c 24c 21c 30c\"A4
  83. .ds 6 \`\"open Quote NOT USED
  84. .ds 9 \'\"close Quote NOT USED
  85. .ds d \\v'12u'\"a bit down, smaller font (for subscripts)
  86. .ds u \\|\\v'-12u'\"up again
  87. .ds 2 \\v'-21u'\\|2\\v'+21u'\"superscript 2
  88. .ds ' \\h'9u'\(fm\\h'-3u'
  89. .ds ` \\v'+9u'\\h@\\w=\`=u*7u/10u@\\z\`\\h@\\w=\`=u*3u/10u@\\v'-9u'
  90. .ds ^ \\v'+9u'\\h@\\w=^=u\/2u+2u@\\z^\\h@\\w=^=u\/2u@\\v'-9u'
  91. .ds << \\v'-3u'<\\v'+3u'
  92. .ds = \(eq
  93. .ds >> \\v'-3u'>\\v'+3u'
  94. .ds @ @\"otherwise too bulky
  95. .ds # #\"otherwise too bulky
  96. .\".ds | \^|\^
  97. .ds ~ \\v'-6u'\(ap\\v'+6u'\"otherwise too bulky
  98. .ds * \\v'+21u'*\\v'-21u'\"lower and larger
  99. .ds _ \\v'+24u'\(em\\v'-24u'
  100. .if n       \{\
  101. .\"nroff specialities
  102. .FR 17.5c 62v 21.1c-6n 66v\"    Line Printer
  103. .\" .FR 19.1c 22.8c 21.1c 27.9c\"    Line Printer
  104. .ds d \\d\"half line down
  105. .ds u \\u\"half line up
  106. .ds 2 \\u2\\d\"superscript 2
  107. .ds ' \'
  108. .ds ` \`
  109. .ds ^ ^
  110. .ds = =
  111. .ds @ @
  112. .ds ~ ~
  113. .ds * *
  114. .ds _ _ \}
  115. .de Xx\"indeXX entry
  116. ..
  117. .de Ix\"Inserted indeX entry    NOT USED
  118. .Xx \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
  119. "\\$1"
  120. ..
  121. .de Us\"Unnumbered Section
  122. .sp 1
  123. .ne \\$1
  124. .in 0
  125. .nr f1 \\n(.f\"    current font
  126. .ft
  127. .nr f2 \\n(.f\"    previous font
  128. .ft B
  129. \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
  130. .ft \\n(f2\"    restore previous font
  131. .ft \\n(f1\"    restore current font
  132. .Ct \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
  133. .sp 1
  134. .ns
  135. .ad
  136. .hy
  137. ..
  138. .de Ur\"Unnumbered section Refraining from break
  139. .br
  140. .sp 1
  141. .ne 5
  142. .in 0
  143. .nr f1 \\n(.f\"    current font
  144. .ft
  145. .nr f2 \\n(.f\"    previous font
  146. .ft B
  147. \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
  148. .ft \\n(f2\"    restore previous font
  149. .ft \\n(f1\"    restore current font
  150. .Ct \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
  151. .ns
  152. ..
  153. .de Ss\"Super Section (followed immediately by .St)  NOT USED
  154. .Us 7 \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8
  155. ..
  156. .de St\"Section of Text (followed by .Ta)
  157. .SN \\$1
  158. .Us 5 \\$1.\0 \\$2
  159. ..
  160. .de Se\"SEction (followed by .Sy)
  161. .SN \\$2
  162. .Us \\$1+4 \\$2.\0 \\$3
  163. ..
  164. .de Sy\"SYntax section
  165. .sp 1
  166. .ne \\$2
  167. .in 0
  168. .ns
  169. ..
  170. .di No
  171. .ev 1
  172. .br
  173. M)\ \k!Down the drain
  174. .br
  175. .ev
  176. .di
  177. .de Bx\"Box
  178. .nf
  179. \v'-5u'\(br\v'5u'\|\\$1\|\v'-5u'\(br\v'5u'\\h'-7u'\l'|0+7u\(rn'\\h'-7u'\l'|0\(ul'
  180. .fi
  181. ..
  182. .de Pr\"Production Rule
  183. .Xx \\$1
  184. .sp 1
  185. .br
  186. .ne \\$2
  187. .nh
  188. .na
  189. .in 1m
  190. \\$1:
  191. ..
  192. .de Pn\"Production Rule with no index entry
  193. .sp 1
  194. .br
  195. .ne \\$2
  196. .nh
  197. .na
  198. .in 1m
  199. \\$1:
  200. ..
  201. .de Ps\"Pseudo-Syntax (next line starting "x) ")
  202. .sp 0.6
  203. .br
  204. .ne 2
  205. .hy
  206. .ad
  207. .in 3m
  208. ..
  209. .de Al\"ALternative
  210. .br
  211. .in 5m
  212. .ti 1m
  213. \(bu\ \c
  214. ..
  215. .de Sl\"Single aLternative
  216. .br
  217. .in 5m
  218. .ti 1m
  219. \(bu\ \c
  220. ..
  221. .de Eo\"Examples Old style (more than one notion)
  222. .sp 1
  223. .br
  224. .ne \\$1
  225. .in 0
  226. .nf
  227. Examples of \k1\\$2
  228. ..
  229. .de Ex\"EXamples
  230. .sp 1
  231. .br
  232. .ne \\$1
  233. .nf
  234. .in 12
  235. .ti 0
  236. Examples of \c
  237. ..
  238. .de Sx\"Single eXample
  239. .sp 1
  240. .br
  241. .ne \\$1
  242. .in 0
  243. Example \\$2
  244. .nf
  245. .in 11
  246. ..
  247. .de Xe\"eXample End
  248. .sp 1
  249. .ns
  250. .in 0
  251. .fi
  252. ..
  253. .de Sa
  254. .sp 1
  255. .in 0
  256. See also: \c
  257. ..
  258. .de Ta
  259. .Tx
  260. ..
  261. .de Tx\"running TeXt, starting with indent
  262. .br
  263. .hy
  264. .ad
  265. .fi
  266. .sp
  267. .br
  268. .ne 2
  269. .in 0
  270. .ti \n^u\" bug; should have been ! register
  271. ..
  272. .de Di\"DIsplay
  273. .sp 1
  274. .nf
  275. .in +(2m+6n)
  276. .ne \\$1
  277. ..
  278. .de Ed\"End Display
  279. .sp 1
  280. .ns
  281. .in -(2m+6n)
  282. .fi
  283. ..
  284. .de Io\"Indent Open
  285. .in +1m+3n
  286. .Bu \\$1
  287. ..
  288. .de Ic\"Indent Close
  289. .in -(1m+3n)
  290. .Bu \\$1
  291. ..
  292. .de Af\"As Follows
  293. as follows:
  294. .in +1m+3n
  295. .Io
  296. ..
  297. .de Bu\"BUllet
  298. .ti -(2m+6n)
  299. .ne \\$1
  300. ..
  301. .de Bl\"BLank
  302. .br
  303. .sp 1
  304. .ne \\$1
  305. .ns
  306. ..
  307. .de If\"If
  308. .Bu
  309. If
  310. ..
  311. .de Th\"Then
  312. .Io
  313. ..
  314. .de Ow\"OtherWise
  315. .Ic
  316. Otherwise:
  317. .Io
  318. ..
  319. .de Fi\"Fi
  320. .Ic
  321. ..
  322. .de Er\"Error
  323. .Bu
  324. An error is signalled.
  325. .Bu
  326. ..
  327. .de ##\"volatile remark  NOT USED
  328. .br
  329. ### \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
  330. .br
  331. ..
  332.